viewport: port to use a gadget
authorCosimo Cecchi <cosimoc@gnome.org>
Wed, 23 Dec 2015 01:55:18 +0000 (17:55 -0800)
committerCosimo Cecchi <cosimoc@gnome.org>
Tue, 29 Dec 2015 21:50:19 +0000 (13:50 -0800)
commit5daede51f77a6afbfbd636bb7f45a2d1d9c93bf1
tree8b15d0112796191c1653e00f0ba773d8b4b1ef03
parent71d7b10dad461c1a1b2cc7b69408bee99c50c3c9
viewport: port to use a gadget

This will get us margin support, among other things, and simplifies the
code.
gtk/gtkviewport.c